Worst-case execution time

Results: 108



#Item
71Real-time computing / Worst-case execution time / Compiler construction / Compiler optimizations / Control flow / For loop / Machine learning / Infinite loop / Termination analysis / Computing / Software engineering / Computer programming

Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science,

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2012-05-02 15:17:36
72Software / Polyspace / Science / Embedded systems / Model checking / Software verification / Abstract interpretation / Worst-case execution time / Software development process / Software development / Software testing / Formal methods

DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2002-12-20 10:55:12
73Infineon TriCore / Microcontrollers / Compilers / Worst-case execution time / Embedded system / GNU Compiler Collection / Toolchain / Software / Computing / Programming language implementation

aiT for TriCore aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
74Electronics / Computer architecture / WCET / Real-time operating system / Embedded system / Analysis / Operating system / Ring / Real-time computing / Worst-case execution time / Technology

Evaluating Static Worst-Case Execution-Time Analysis for a Commercial Real-Time Operating System Daniel Sandell Master’s thesis D-level, 20 credits Dept. of Computer Science

Add to Reading List

Source URL: www.mrtc.mdh.se

Language: English - Date: 2004-07-22 07:43:03
75Power Architecture / Instruction set architectures / PowerPC / CodeWarrior / Worst-case execution time / 64-bit / Ppc64 / Software / Computer architecture / Computing

aiT for e200 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline b

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
76Scheduling algorithms / Electronics / WCET / Real-time operating system / Operating system / Debugging / Analysis / Scheduling / Computing / Real-time computing / Worst-case execution time / Technology

Static WCET Analysis of Task-Oriented Code for Construction Vehicles Master’s Thesis Daniel Sehlberg Dept. of Computer Science and Electronics

Add to Reading List

Source URL: www.mrtc.mdh.se

Language: English - Date: 2005-10-12 17:20:25
77Profiling / Software optimization / Worst-case execution time / GNU Compiler Collection / Software / Computing / Computer programming

TimingProfiler Monitoring Timing Behavior During Code Development TimingProfiler helps developers identify application parts that are causing unsatisfactory execution times. It is ideally suited for constantly monitoring

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-03-16 07:37:07
78Software engineering / Real-time computing / Worst-case execution time / WCET / Compiler optimization / Analysis / Compiler / ARM architecture / Assembly language / Computing / Programming language implementation / Computer programming

Static Timing Analysis of Real-Time Operating System Code Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Bj¨ orn Lisper Dept. of Computer Science and Engineering M¨

Add to Reading List

Source URL: www.mrtc.mdh.se

Language: English - Date: 2004-11-30 08:39:18
79Computing / Electronics / Avionics / Software requirements / Formal methods / DO-178B / Worst-case execution time / Astrée / DO-178C / Software development / Embedded systems / Safety

aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2012-04-23 04:44:53
80Real-time computing / Worst-case execution time / Am486 / Programming language implementation / X86 / 64-bit / Toolchain / Compiler / Computing / Computer architecture / Software

aiT for Am486 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
UPDATE